package com.googlecode.kipler.container.dl.creational;

import com.googlecode.kipler.container.dl.ModifiedIndividualListWcsData;
import com.googlecode.kipler.container.dl.WorldConstraintSystem;

/**
 * 
 * @author İnanç Seylan
 * 
 */
public class SHIQModifiedIndividualListWcsFactory extends WcsFactory {

	public SHIQModifiedIndividualListWcsFactory(boolean unfoldableTBox) {
		super(unfoldableTBox);
	}

	public WorldConstraintSystem createWcs() {
		WorldConstraintSystem result = new WorldConstraintSystem(WorldFactory
				.getFactory(ContainerType.SHIQ_MODIFIED_INDIVIDUAL,
						isUnfoldableTBox()));
		result.setData(new ModifiedIndividualListWcsData());
		result.setReasoner(getReasoner());
		return result;
	}

}
